Перевод: со всех языков на все языки

со всех языков на все языки

formal source

См. также в других словарях:

  • Formal and material principles of theology — Formal principle and material principle are two categories in Christian theology to identify and distinguish the authoritative source of theology (formal principle) from the theology itself, especially the central doctrine of that theology… …   Wikipedia

  • Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

  • Source criticism (Biblical studies) — Source criticism, as the term is used in biblical criticism, refers to the attempt to establish the sources used by the author and/or redactor of the final text. The term literary criticism is occasionally used as a synonym.Biblical source… …   Wikipedia

  • Formal ontology — A Formal ontology is an ontology with a structure that is guided and defined through axioms. The goal of a formal ontology is to provide an unbiased (domain and application independent) view on reality. Formal ontologies are founded upon a… …   Wikipedia

  • Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… …   Wikipedia

  • Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… …   Wikipedia

  • Formal garden — A formal garden in the Western gardening tradition [In Japanese gardening, the Zen garden of rocks, moss and raked gravel is a wholly separate concept of equally formal garden, without axial symmetry or other geometries.] is a neat and ordered… …   Wikipedia

  • Formal cause — Cause Cause (k[add]z), n. [F. cause, fr. L. causa. Cf. {Cause}, v., {Kickshaw}.] 1. That which produces or effects a result; that from which anything proceeds, and without which it would not exist. [1913 Webster] Cause is substance exerting its… …   The Collaborative International Dictionary of English

  • Dynamic and formal equivalence — The term dynamic equivalent is also used in electrics, physics, economics and yoga. In Bible translation dynamic equivalence and formal equivalence are two approaches to translation. The terms are not found in general linguistics or translation… …   Wikipedia

  • Open-source software — The logo of the Open Source Initiative Open source software (OSS) is computer software that is available in source code form: the source code and certain other rights normally reserved for copyright holders are provided under a software license… …   Wikipedia

  • Open-source governance — Part of the Politics series Basic forms of government Aristocracy Autocracy …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»